$\vdash$  $\forall$$i$:$\mathbb{N}$. $\mid$$i$$\mid$ = $i$